int decode2(int x, int y, int z){
  y = y - z;
  z = y;
  y = y * x;
  z = z << 31;
  z = z >> 31;
  z = z ^ y;
  return z;
}
